Ranzato, Francesco: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Optimal domains for disjunctive abstract interpretation

Roberto Giacobazzi, Francesco Ranzato

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 2.34 MB

english, 1998

2

The powerset operator on abstract interpretations

Gilberto Filé, Francesco Ranzato

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.91 MB

english, 1999

3

The reduced relative power operation on abstract domains

Roberto Giacobazzi, Francesco Ranzato

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 3.71 MB

english, 1999

4

Correction to "Some properties of complete congruence lattices"

Roberto Giacobazzi, Francesco Ranzato

Journal:

Algebra Universalis

Year:

2002

Language:

english

File:

PDF, 74 KB

english, 2002

5

Pseudocomplements of closure operators on posets

Francesco Ranzato

Journal:

Discrete Mathematics

Year:

2002

Language:

english

File:

PDF, 128 KB

english, 2002

6

Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements

Roberto Giacobazzi, Francesco Ranzato

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 1.02 MB

english, 1998

7

Closures on CPOs Form Complete Lattices

Francesco Ranzato

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 230 KB

english, 1999

8

Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation

Silvia Crafa, Francesco Ranzato

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 1006 KB

english, 2012

9

Incompleteness of states w.r.t. traces in model checking

Roberto Giacobazzi, Francesco Ranzato

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 434 KB

english, 2006

10

Generalizing the Paige–Tarjan algorithm by abstract interpretation

Francesco Ranzato, Francesco Tapparo

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 876 KB

english, 2008

11

An efficient simulation algorithm based on abstract interpretation

Francesco Ranzato, Francesco Tapparo

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 433 KB

english, 2010

12

Cost-Analysis of Relapsing-Remitting Multiple Sclerosis in Italy after the Introduction of New Disease-Modifying Agents

Dr Pierluigi Russo, Alessandro Capone, Andrea Paolillo, Francesco Macchia, Federica Ranzato, Gianfranco Costantino, Luca Degli Esposti, Luciano Caprino

Journal:

Clinical Drug Investigation

Year:

2004

Language:

english

File:

PDF, 137 KB

english, 2004

13

Effects of Mercury on Dictyostelium discoideum : Proteomics Reveals the Molecular Mechanisms of Physiological Adaptation and Toxicity

Marsano, Francesco, Boatti, Lara, Ranzato, Elia, Cavaletto, Maria, Magnelli, Valeria, Dondero, Francesco, Viarengo, Aldo

Journal:

Journal of Proteome Research

Year:

2010

Language:

english

File:

PDF, 3.53 MB

english, 2010

14

An efficient simulation algorithm on Kripke structures

Ranzato, Francesco

Journal:

Acta Informatica

Year:

2014

Language:

english

File:

PDF, 1.06 MB

english, 2014

15

Correctness kernels of abstract interpretations

Giacobazzi, Roberto, Ranzato, Francesco

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 794 KB

english, 2014

16

Cerebrospinal fluid Orexin A levels in Alzheimer's disease (AD)

Marcon, Michela, Di Dionisio, Laura, Ranzato, Federica, Meligrana, Lucia, de Riva, Valentina, Galloni, Elisabetta, Perini, Francesco

Journal:

Alzheimer's & Dementia

Year:

2011

Language:

english

File:

PDF, 196 KB

english, 2011

17

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Saving Space in a Time Efficient Simulation Algorithm

Crafa, Silvia, Ranzato, Francesco, Tapparo, Francesco

Year:

2009

Language:

english

File:

PDF, 348 KB

english, 2009

18

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - A New Efficient Simulation Equivalence Algorithm

Ranzato, Francesco, Tapparo, Francesco

Year:

2007

Language:

english

File:

PDF, 279 KB

english, 2007

19

Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions

Crafa, Silvia, Ranzato, Francesco

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 360 KB

english, 2014

20

A unifying view of abstract domain design

Filé, Gilberto, Giacobazzi, Roberto, Ranzato, Francesco

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 316 KB

english, 1996

21

Complementation in abstract interpretation

Cortesi, Agostino, Filé, Gilberto, Ranzato, Francesco, Giacobazzi, Roberto, Palamidessi, Catuscia

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1997

Language:

english

File:

PDF, 454 KB

english, 1997

22

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Tracing compilation by abstract interpretation

Dissegna, Stefano, Logozzo, Francesco, Ranzato, Francesco

Year:

2014

Language:

english

File:

PDF, 573 KB

english, 2014

23

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Analyzing Program Analyses

Giacobazzi, Roberto, Logozzo, Francesco, Ranzato, Francesco

Year:

2015

Language:

english

File:

PDF, 950 KB

english, 2015

24

Making abstract interpretations complete

Giacobazzi, Roberto, Ranzato, Francesco, Scozzari, Francesca

Journal:

Journal of the ACM

Year:

2000

Language:

english

File:

PDF, 435 KB

english, 2000

25

Making abstract domains condensing

Giacobazzi, Roberto, Ranzato, Francesco, Scozzari, Francesca

Journal:

ACM Transactions on Computational Logic

Year:

2005

Language:

english

File:

PDF, 228 KB

english, 2005

26

Analyzing Program Analyses

Giacobazzi, Roberto, Logozzo, Francesco, Ranzato, Francesco

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 950 KB

english, 2015

27

An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation

Dissegna, Stefano, Logozzo, Francesco, Ranzato, Francesco

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2016

Language:

english

File:

PDF, 1.15 MB

english, 2016

28

Abstracting Nash equilibria of supermodular games

Ranzato, Francesco

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 665 KB

english, 2017

29

[Lecture Notes in Computer Science] Static Analysis Volume 10422 || Incremental Analysis for Probabilistic Programs

Ranzato, Francesco

Year:

2017

Language:

english

File:

PDF, 1.84 MB

english, 2017

30

[Lecture Notes in Computer Science] Static Analysis Volume 10422 || A Gradual Interpretation of Union Types

Ranzato, Francesco

Year:

2017

Language:

english

File:

PDF, 696 KB

english, 2017

31

[Lecture Notes in Computer Science] Static Analysis Volume 10422 || Synthesizing Imperative Programs from Examples Guided by Static Analysis

Ranzato, Francesco

Year:

2017

Language:

english

File:

PDF, 1.19 MB

english, 2017

32

[Lecture Notes in Computer Science] Static Analysis Volume 10422 || Abstract Semantic Diffing of Evolving Concurrent Programs

Ranzato, Francesco

Year:

2017

Language:

english

File:

PDF, 574 KB

english, 2017

33

[Lecture Notes in Computer Science] Static Analysis Volume 10422 || Loop Invariants from Counterexamples

Ranzato, Francesco

Year:

2017

Language:

english

File:

PDF, 909 KB

english, 2017

34

[Lecture Notes in Computer Science] Static Analysis Volume 10422 || Securing the SSA Transform

Ranzato, Francesco

Year:

2017

Language:

english

File:

PDF, 528 KB

english, 2017

35

[Lecture Notes in Computer Science] Static Analysis Volume 10422 || Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs

Ranzato, Francesco

Year:

2017

Language:

english

File:

PDF, 1.37 MB

english, 2017

36

A Liquid Chromatography-Mass Spectrometry Assay for Determination of Perampanel and Concomitant Antiepileptic Drugs in the Plasma of Patients with Epilepsy, Compared with A Fluorescent Hplc Assay

de Grazia, Ugo, D’Urso, Annachiara, Ranzato, Federica, De Riva, Valentina, Contarato, Giorgia, Billo, Giuseppe, Perini, Francesco, Galloni, Elisabetta

Journal:

Therapeutic Drug Monitoring

Year:

2018

Language:

english

File:

PDF, 772 KB

english, 2018

37

Honey-Mediated Wound Healing: H2O2 Entry through AQP3 Determines Extracellular Ca2+ Influx

Martinotti, Simona, Laforenza, Umberto, Patrone, Mauro, Moccia, Francesco, Ranzato, Elia

Journal:

International Journal of Molecular Sciences

Year:

2019

Language:

english

File:

PDF, 3.07 MB

english, 2019

38

A²I: abstract² interpretation

Cousot, Patrick, Giacobazzi, Roberto, Ranzato, Francesco

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 572 KB

english, 2019

39

Foreword to the special issue on the 2017 Static Analysis Symposium

Ranzato, Francesco

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 180 KB

english, 2019